Mise en œuvre de patterns de conception : un outil = Implementation of Design Patterns : a toolSunyé, Gerson; Perrot, Jean-François.1999, 182 p.Thesis

Improved interval constraint propagation for constraints on partial derivativesPETROV, Evgueni; BENHAMOU, Frédéric.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43591-3, 3Vol, vol. 2, 1097-1105Conference Paper

An extensible compiler for creating scriptable scientific softwareBEAZLEY, David M.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43591-3, 3Vol, vol. 2, 824-833Conference Paper

Affective natural language generationDE ROSIS, Fiorella; GRASSO, Floriana.Lecture notes in computer science. 2000, pp 204-218, issn 0302-9743, isbn 3-540-41520-3Conference Paper

Making automatic differentiation truly automatic: Coupling PETSc with ADICHOVLAND, Paul; NORRIS, Boyana; SMITH, Barry et al.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43591-3, 3Vol, vol. 2, 1087-1096Conference Paper

FORMALISME DE MODÉLISATION DES SYSTÈMES DYNAMIQUES HYBRIDES = FORMALISM OF MODELLING HYBRID DYNAMICAL SYSTEMSDjenidi, Rachid; Nikoukhah, Ramine.2001, 235 p.Thesis

Aerosol Generation by Modern Flush ToiletsJOHNSON, David; LYNCH, Robert; MARSHALL, Charles et al.Aerosol science and technology (Print). 2013, Vol 47, Num 7-9, pp 1047-1057, issn 0278-6826, 11 p.Article

Plasma rotation during spheromak formationPEYSER, T; GOLDENBAUM, G. C.Physical review letters. 1988, Vol 61, Num 8, pp 955-958, issn 0031-9007Article

Génération automatique de jeux de tests et contraintes d'utilisation d'un logiciel = Automatic generation of test sets and software use constraintsPRINTZ, Jacques; PRADAT-PEYRE, Jean-Francois.Génie logiciel (1995). 2004, Num 68, pp 45-52, issn 1265-1397, 8 p.Article

Automatic generation of model checking properties and constraints from production based specificationJAHANPOUR, M. S; AIT MOHAMED, O.MWSCAS : Midwest symposium on circuits and systems. 2004, isbn 0-7803-8346-X, 3Vol, Vol III, 435-438Conference Paper

Multitone signals with low crest factorBOYD, S.IEEE transactions on circuits and systems. 1986, Vol 33, Num 10, pp 1018-1022, issn 0098-4094Article

Three-dimensional constrained boundary recovery with an enhanced Steiner point suppression procedureJIANJUN CHEN; DAWEI ZHAO; ZHENGGE HUANG et al.Computers & structures. 2011, Vol 89, Num 5-6, pp 455-466, issn 0045-7949, 12 p.Article

Application of two test generation tools to an industrial case studyCAVALLI, Ana; MAAG, Stephane; MALLOULI, Wissam et al.Lecture notes in computer science. 2006, pp 134-148, issn 0302-9743, isbn 3-540-34184-6, 1Vol, 15 p.Conference Paper

A differentiation-enabled fortran 95 compilerNAUMANN, Uwe; RIEHME, Jan.ACM transactions on mathematical software. 2005, Vol 31, Num 4, pp 458-474, issn 0098-3500, 17 p.Article

MPL : A multiprecision MATLAB-like environmentSCHREPPERS, Walter; BACKELJAUW, Franky; CUYT, Annie et al.Lecture notes in computer science. 2005, pp 295-303, issn 0302-9743, isbn 3-540-26032-3, 3Vol, 9 p.Conference Paper

An optimized DFT and test pattern generation strategy for an intel high performance microprocessorWU, David M; MIKE LIN; REDDY, Madhukar et al.International Test Conference. 2004, pp 38-47, isbn 0-7803-8580-2, 1Vol, 10 p.Conference Paper

ALAPTF : A new transition fault model and the ATPG algorithmGUPTA, Puncet; HSIAO, Michael S.International Test Conference. 2004, pp 1053-1060, isbn 0-7803-8580-2, 1Vol, 8 p.Conference Paper

SIMOO-RT: An object-oriented framework for the development of real-time industrial automation systemsBECKER, Leandro B; PEREIRA, Carlos E.IEEE transactions on robotics and automation. 2002, Vol 18, Num 4, pp 421-430, issn 1042-296X, 10 p.Article

Rewriting strategies for instruction selectionBRAVENBOER, Martin; VISSER, Eelco.Lecture notes in computer science. 2002, pp 237-251, issn 0302-9743, isbn 3-540-43916-1, 15 p.Conference Paper

Modeling literary style for semi-automatic generation of poetryGERVAS, Pablo.Lecture notes in computer science. 2001, Vol 2109, pp 231-233, issn 0302-9743, isbn 3-540-42325-7Conference Paper

Recycling continuationsSOBEL, J; FRIEDMAN, D. P.SIGPLAN notices. 1999, Vol 34, Num 1, pp 251-260, issn 0362-1340Conference Paper

Computing the order of a solvable permutation gropSIMS, C. C.Journal of symbolic computation. 1990, Vol 9, Num 5-6, pp 699-705, issn 0747-7171, 7 p.Article

Register allocation in a pattern matching code generatorVAN BILJON, W. R; SEWRY, D. A; MULDERS, M et al.Software, practice & experience. 1987, Vol 17, Num 8, pp 521-531, issn 0038-0644Article

A case for design methodology research in self-* distributed systemsGUPTA, Indranil; KO, Steven; THOMPSON, Nathanael et al.Lecture notes in computer science. 2005, pp 260-272, issn 0302-9743, isbn 3-540-26009-9, 13 p.Conference Paper

Efficient identification of crosstalk induced slowdown targetsBREUER, Melvin A; GUPTA, Sandeep K; NAZARIAN, Shahin et al.Asian test symposium. 2004, pp 124-131, isbn 0-7695-2235-1, 1Vol, 8 p.Conference Paper